检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

导出引用
EndNote Ris BibTeX

显示/隐藏图片

Select

1. 基于非平衡哈希树的平台完整性远程验证机制

翁晓康张平王炜朱毅

计算机应用 2014, 34 (2): 433-437.

摘要（404）

PDF （716KB）（443）

为提高计算平台完整性度量的远程验证效率，提出一种基于非平衡哈希树的平台远程验证机制。平台可信实体的散列值以非平衡哈希树叶子节点的结构存储，远程验证时，查找度量实体对应的叶子节点，记录该叶子节点到根节点的验证路径，然后传递根节点和验证路径给验证方，最后根据验证路径重新计算根节点来验证度量值的有效性。实验结果表明，该机制能够有效降低散列值存储的空间和时间开销，完整性度量验证的时间复杂度为O(lb N)。

相关文章 | 多维度评价

Select

2. 基于函数级控制流监控的软件防篡改

张贵民李清宝王炜朱毅

计算机应用 2013, 33 (09): 2520-2524. DOI: 10.11772/j.issn.1001-9081.2013.09.2520

摘要（692）

PDF （798KB）（546）

软件防篡改是软件保护的重要手段。针对由缓冲区溢出等攻击导致的控制流篡改,提出一种基于函数级控制流监控的软件防篡改方法。以函数级控制流描述软件正常行为,利用二进制重写技术在软件函数入口处植入哨兵,由监控模块实时获取哨兵发送的软件运行状态,通过对比运行状态和预期值判断程序是否被篡改。实现了原型系统并对其进行了性能分析,实验结果表明,基于函数级控制流监控的软件防篡改方法能有效检测对控制流的篡改攻击,无误报且开销较低,其实现不依赖程序源码,无需修改底层硬件和操作系统,监控机制与被保护软件隔离,提高了安全性。